Combining Source, Content, Presentation, Narration, and Relational Representation

نویسندگان

  • Fulya Horozal
  • Alin Iacob
  • Constantin Jucovschi
  • Michael Kohlhase
  • Florian Rabe
چکیده

In this paper, we try to bridge the gap between different dimensions/incarnations of mathematical knowledge: MKM representation formats (content), their human-oriented languages (source, presentation), their narrative linearizations (narration), and relational presentations used in the semantic web. The central idea is to transport solutions from software engineering to MKM regarding the parallel interlinked maintenance of the different incarnations. We show how the integration of these incarnations can be utilized to enrich the authoring and viewing processes, and we evaluate our infrastructure on the LATIN Logic Atlas, a modular library of logic formalizations, and a set of computer science lecture notes written in STEX – a modular, semantic variant of LTEX.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Anthropological Study on the Origin and Content of Ta’zieh

Ta’zieh is an intertwined set of traditional Iranian music, Iranian classic poetry and Shabih-khani (speech-visual intertwined narration). The central theme (or subject) of Ta’zieh is representation of siege and massacre of Karbala desert Iranian traditions are used to illustrate and retell events commensurate with [the quality of] events and dialogues in the Ta’zieh scene. In other words, Iran...

متن کامل

Effects of WOE Presentation Types Used in Pre-training on the Cognitive Load and Comprehension of Content in Animation-Based Learning Environments

This study investigated the effectiveness of various types of worked-out examples used in pre-training to optimize the cognitive load and enhance learners’ comprehension of the content in an animation-based learning environment. An animation-based learning environment was developed specifically for this study. The participants were divided into four groups; each group was provided with a differ...

متن کامل

WhiteboardVCR: a Web Lecture Production Tool for Combining Human Narration and Text-to-Speech Synthesis

With rapid advances in computer speech technology, TTS (text -to-speech) synthesis is becoming increasingly attractive as a supplement or even as an alternative to the human narration. This paper explores the potential of TTS synthesis in Web lectures. We propose WhiteboardVCR, a new approach that we have developed for producing and presenting Web lectures. The system supports synchronization o...

متن کامل

Organization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society

Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...

متن کامل

A Flexible Architecture for Semantic Annotation and Automated Multimedia Presentation Generation

Multimedia information system design has been recently influenced by state-of-the-art technologies such as those provided by semantic web. This paper introduces an information search and retrieval methodology that employs semantic web technologies for its data representation and reasoning tasks. Creating a meaningful multimedia presentation is an attempt to answer a user’s query using a knowled...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011